bitkeeper revision 1.1159.1.220 (416aa5e6ktGFOaPKB2UOztMEwWKkHg)

fix debug build

diff --git a/xen/arch/x86/memory.c b/xen/arch/x86/memory.c
index c9e617e2421ec4445889cca721c44678d065f25d..c9adc717ff6617dac55b6cfc7914d268f81e2c66 100644 (file)
--- a/xen/arch/x86/memory.c
+++ b/xen/arch/x86/memory.c
@@ -1739,7 +1739,7 @@ int ptwr_do_page_fault(unsigned long addr)
                 PTWR_PT_INACTIVE : PTWR_PT_ACTIVE;
 
             PTWR_PRINTK("[%c] page_fault on l1 pt at va %08lx, pt for %08x, "
-                        "pt for %08x, pfn %08lx\n", PTWR_PRINT_WHICH,
+                        "pfn %08lx\n", PTWR_PRINT_WHICH,
                         addr, va_mask << L2_PAGETABLE_SHIFT, pfn);
 
             if ( ptwr_info[cpu].ptinfo[which].l1va )